The  ideal <i>A</i>  is the kernel of the homomorphism   <i> r</i> &#8594 <i> r + A </i> from <i> R</i>   to <i> R/A </i>.